Definitions | False, t T, x:A. B(x), P  Q, True, f(a), tag(k), lnk(k), act(k), islocal(k), b, kindcase(k; a.f(a); l,t.g(l;t) ), isrcv(k), x:A B(x), left+right, Knd, x:A B(x), s = t, Type, msg(l;t;v), P & Q, es_info(es), es_val(es), kind(e), val(e), tag(e), lnk(e), es-M(es), emsg(e), Msg, isrcv(e), E, ES, kind(e) |